BDD-Guided Clause Generation Brian Kell1 , Ashish Sabharwal2 , and Willem-Jan van Hoeve3 1 Dept. of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213

Source URL: ai2-website.s3.amazonaws.com

Towards Generating Virtual Movement from Textual Instructions A Case Study in Quality Assessment Himangshu Sarma, Robert Porzel, Jan Smeddinck, Rainer Malaka Digital Media Lab, TZI, University of Bremen Bibliothekstr. 1

Source URL: www.humancomputation.com

On Nonparametric Prediction of Linear Processes By Jan Mielniczuk1 , Zhou Zhou2 and Wei Biao Wu Polish Academy of Sciences and University of Chicago May 17, 2009 Abstract We consider nonparametric prediction problem for

Source URL: www.utstat.toronto.edu

An empirical study of programming paradigms for animation Jan-Peter Krämer1,2 , Michael Hennings1 , Joel Brandt2 , Jan Borchers1 1 RWTH Aachen University

Source URL: www.joelbrandt.org

IR. JAN BENTHEM Jan Benthem (1952, Amsterdam) graduated as engineer from the Faculty of Architecture at Delft University of Technology inIn 1979, he founded the office Benthem Crouwel Architects in Amsterdam toget

Source URL: benthemcrouwel.com

Sparrows and Owls: Characterisation of Expert Behaviour in StackOverflow Jie Yang, Ke Tao, Alessandro Bozzon, and Geert-Jan Houben Delft University of Technology, Mekelweg 4, 2628 CD Delft, the Netherlands {j.yang-3, k.t

Source URL: yangjiera.github.io

STEP-INDEXED RELATIONAL REASONING FOR COUNTABLE NONDETERMINISM JAN SCHWINGHAMMER AND LARS BIRKEDAL Saarland University e-mail address: IT University of Copenhagen

Source URL: www.ps.uni-saarland.de

Steganalysis of LSB Replacement Using Parity-Aware Features Jessica Fridrich and Jan Kodovský Department of ECE, Binghamton University, NY, USA {fridrich,jan.kodovsky}@binghamton.edu

Source URL: www.ihconference.org

CURRICULUM VITAE (current as of FebruaryMark C. Vopat Home: (Office: (

Source URL: web.ysu.edu

• Academia
• Philosophy
• Ohio
• Youngstown State University
• Youngstown
• Ohio
• American philosophers
• Ethics
• Jan Boxill
• Outline of ethics

High-level Programming of Embedded Hard Real-Time Devices Lukasz Ziarek Purdue University & Fiji Systems Inc. Joint work with Filip Pizlo, Petr Maj, Ethan Blanton, and Jan Vitek

Source URL: eurosys2010.sigops-france.fr